On the structure of the Nx phase of symmetric dimers: inferences from NMR

NMR measurements on a selectively deuterated liquid crystal dimer CB-C9-CB, exhibiting two nematic phases, show that the molecules in the lower temperature nematic phase, NX, experience a chiral environment and are ordered about a uniformly oriented director throughout the macroscopic sample. The results are contrasted with previous interpretations that suggested a twist-bend spatial variation of the director. A structural picture is proposed wherein the molecules are packed into highly correlated chiral assemblies

Convolution, Separation and Concurrency

A notion of convolution is presented in the context of formal power series together with lifting constructions characterising algebras of such series, which usually are quantales. A number of examples underpin the universality of these constructions, the most prominent ones being separation logics, where convolution is separating conjunction in an assertion quantale; interval logics, where convolution is the chop operation; and stream interval functions, where convolution is used for analysing the trajectories of dynamical or real-time systems. A Hoare logic is constructed in a generic fashion on the power series quantale, which applies to each of these examples. In many cases, commutative notions of convolution have natural interpretations as concurrency operations.Comment: 39 page

Extreme Adverse Selection, Competitive Pricing, and Market Breakdown

Extreme adverse selection arises when private information has unbounded support, and market breakdown occurs when no trade is the only equilibrium outcome. We study extreme adverse selection via the limit behavior of a financial market as the support of private information converges to an unbounded support. A necessary and sufficient condition for market breakdown is obtained. If the condition fails, then there exists competitive market behavior that converges to positive levels of trade whenever it is first best to have trade. When the condition fails, no feasible (competitive or not) market behavior converges to positive levels of trade.Adverse selection, market breakdown, separation, competitive pricing

Does Competitive Pricing Cause Market Breakdown under Extreme Adverse Selection?

We study market breakdown in a finance context under extreme adverse selection with and without competitive pricing. Adverse selection is extreme if for any price there are informed agent types with whom uninformed agents prefer not to trade. Market breakdown occurs when no trade is the only equilibrium outcome. We present a necessary and sufficient condition for market breakdown. If the condition holds, then trade is not viable. If the condition fails, then trade can occur under competitive pricing. There are environments in which the condition holds and others in which it fails.Adverse selection, market breakdown, separation, competitive pricing

Reverse engineering of CAD models via clustering and approximate implicitization

In applications like computer aided design, geometric models are often represented numerically as polynomial splines or NURBS, even when they originate from primitive geometry. For purposes such as redesign and isogeometric analysis, it is of interest to extract information about the underlying geometry through reverse engineering. In this work we develop a novel method to determine these primitive shapes by combining clustering analysis with approximate implicitization. The proposed method is automatic and can recover algebraic hypersurfaces of any degree in any dimension. In exact arithmetic, the algorithm returns exact results. All the required parameters, such as the implicit degree of the patches and the number of clusters of the model, are inferred using numerical approaches in order to obtain an algorithm that requires as little manual input as possible. The effectiveness, efficiency and robustness of the method are shown both in a theoretical analysis and in numerical examples implemented in Python